x86/vmce: emulate MSR_IA32_MCG_EXT_CTL
authorHaozhong Zhang <haozhong.zhang@intel.com>
Fri, 14 Jul 2017 10:43:27 +0000 (12:43 +0200)
committerJan Beulich <jbeulich@suse.com>
Fri, 14 Jul 2017 10:43:27 +0000 (12:43 +0200)
commite2fea563b9764933fa4e6623217c046e64890114
treedd5e7d563e69fe7604863da801166121a0bfe1b0
parent862c83e90e80c1da126990a9e749338f1ee56bca
x86/vmce: emulate MSR_IA32_MCG_EXT_CTL

If MCG_LMCE_P is present in guest MSR_IA32_MCG_CAP, then allow guest
to read/write MSR_IA32_MCG_EXT_CTL.

Signed-off-by: Haozhong Zhang <haozhong.zhang@intel.com>
Reviewed-by: Jan Beulich <jbeulich@suse.com>
xen/arch/x86/cpu/mcheck/vmce.c
xen/arch/x86/domctl.c
xen/include/asm-x86/mce.h
xen/include/public/arch-x86/hvm/save.h